Issue3848.agda:19,13-17
Global confluence check failed: f (c f₁) can be rewritten to either
f₁ or f r.
Possible fix: add a rewrite rule with left-hand side f (c f₁) to
resolve the ambiguity.
when checking confluence of the rewrite rule Issue3848.R.f-clause1
with rew₁
Issue3848.agda:30,1-21
Global confluence check failed: g (f r) unfolds to g a which should
further unfold to a but it does not.
Possible fix: add a rule to rewrite g a to a
when checking the pragma REWRITE rew₃
